منابع مشابه
Entretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement
Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...
متن کاملEntretien avec Ken Whistler, directeur technique du consortium Unicode
Interview with Dr. Ken Whistler, technical director of the Unicode Consortium on the origin of the Unicode standard and its relation to ISO/IEC 10646. Dr. Whistler answers several questions related to the perceived implementation problems and apparent weaknesses of the Unicode standard. 1. Le cri, une des langues autochtones parlées au Québec, est pris en charge par Unicode. 330 DN – 6/2002. Un...
متن کاملService de Détection de Pannes avec SNMP
Failure detection is an important issue of distributed programming. In a computer network, distinguishing a failed node from a slow one is difficult. Yet the difference is important for distributed applications: in the first case a reconfiguration is needed, in the second case, waiting is sufficient. Implementing efficient failure detection is difficult. Because of this, many applications use s...
متن کاملle thème de la robinsonnade dans «vendredi ou les limbes du pacifique» de michel tournier avec un regard sur « la vie et les aventures de robinson crusoë» de daniel defoe
la robinsonnade est un thème littéraire qui provient du nom de robinson, le personnage créé par lauteur anglais daniel defoe, au xviii e siècle, dans son œuvre intitulée, la vie et les aventures de robinson crusoë, (1719). une robinsonnade comporte un double sens : lun qui est une indication de fiction et lautre comme un commentaire, car pour lécrivain dune robinsonnade, il y a une double tâch...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quaderni
سال: 2011
ISSN: 0987-1381,2105-2956
DOI: 10.4000/quaderni.405